Skip to content

Releases: MiniZinc/minizinc-old

MiniZinc 1.6

12 Mar 22:45
@guidotack guidotack
1.6
f578fb2
Compare
Choose a tag to compare
MiniZinc 1.6 Latest
Latest

This is the old MiniZinc 1.6 release. The tag on the repository does not correspond with the source release, it was only created for the binary packages.

Assets 6
Loading

MiniZinc 1.5

22 Oct 02:45
@guidotack guidotack
1.5
ebd9495
Compare
Choose a tag to compare
MiniZinc 1.5

This is the old MiniZinc 1.5 release. The tag on the repository does not correspond with the source release, it was only created for the binary packages.

Loading

MiniZinc 1.4.3

22 Oct 01:56
@guidotack guidotack
1.4.3
ebd9495
Compare
Choose a tag to compare
MiniZinc 1.4.3

This is the old MiniZinc 1.4.3 release. The tag on the repository does not correspond with the source release, it was only created for the binary packages.

Loading